Teaching Some Informatics Concepts Using Formal System
نویسندگان
چکیده
منابع مشابه
Teaching Some Informatics Concepts Using Formal System
There are many important issues in informatics and many agree that algorithms and programming are most important issues that need to be included in informatics education (Dagienė and Jevsikova, 2012). In this paper, we propose how some of these issues can be easily taught us� ing the notion of a formal system which consists of axioms and inference rules by which theorems can be proved. As is ar...
متن کاملMedical Informatics: Concepts and Applications
Medical Informatics is a developing body of knowledge concerned with the use of information and communication technology in support of medical research, education and also for promoting health care delivery. The field focuses on the biomedical information, patient data, and also acquisition, storage, retrieval and optimal use of information for problem solving and decision making. The goal of m...
متن کاملFuzzy concepts and formal methods: some illustrative examples
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Speci cation languages such as Z permit the precise and unambiguous modelling of system properties and behaviour. However some system problems, particularly those drawn from the IS problem domain, may be di cult to model in crisp or precise terms. It may also be desirable that formal modelling...
متن کاملTeaching Basic Programming Concepts using Python
Improving retention and performance for CS majors with a weak background is crucial to increase the number of CS students. A CS0 course is designed to serve these students and desirably to recruit non CS majors before they take a rigorous first object programming class. A visual approach using 3-D animation and multimedia objects such as pictures and sounds in CS0 on different students groups i...
متن کاملBasic concepts in medical informatics.
This glossary defines terms used in the comparatively young science of medical informatics. It is hoped that it will be of interest to both novices and professionals in the field.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Informatics in Education
سال: 2014
ISSN: 1648-5831,2335-8971
DOI: 10.15388/infedu.2014.20